protoknow(p1,sp,pri(lst,[cm(id,[u],[]),cm(data,[u],dot)])).
protoknow(p2,sp,pri(aenc,[pri(lst,[cm(id,[u],[]),cm(data,[u],dot)]),pri(pk,[cmr(kM,[ttp],[])])])).
protoknow(p3,sp,pri(aenc,[pri(lst,[cm(id,[u],[]),cm(data,[u],dot),cmr(n,dot,bot)]),pri(pk,[cmr(kM,[ttp],[])])])).
